TAGs: Direct proof